On a Parthood Specification Method for Component Software
نویسندگان
چکیده
The Basic Mereology framework of [8] is enriched by adding colimit construction from Category Theory. The new framework is then used to model component-based software architecture.
منابع مشابه
Foundational Process Relations in Bio-Ontologies
This paper aims to provide rigor to the process relations in the OBO relations ontology. We present a formal axiomatization of these relations in first order logic as a definitional extension of the Process Specification Language (PSL) Ontology. In particular, we formalize the process parthood, process specialization, process instantiation and instance level parthood relations of OBO. We also p...
متن کاملA method for identifying software components based on Non-dominated Sorting Genetic Algorithm
Identifying the appropriate software components in the software design phase is a vital task in the field of software engineering and is considered as an important way to increase the software maintenance capability. Nowadays, many methods for identifying components such as graph partitioning and clustering are presented, but most of these methods are based on expert opinion and have poor accur...
متن کاملOn the transitivity of functional parthood
This paper aims to give an analysis of some aspects of the relation of “functional parthood”. Assuming there is such a concept as “. . . parthood” entails adopting the view that there are several part-whole relations. This view has been defended in linguistics (Lyons, 1977; Cruse, 1986) and psycholinguistics (Winston, Chaffin, & Herrmann, 1987; Iris, Litowitz, & Evens, 1988). It has been acknow...
متن کاملMapping UML Component Specifications to JEE Implementations
Component-based Software Engineering (CbSE) has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is ...
متن کاملارائه یک روش نرم افزاری جهت استفاده از ارزیابی ریسک در بهینه سازی اقدامات حفاظت حریق ساختمان
Background and aims: The property loss and physical injuries due to fire events in buildings demonstrate the necessity of implementation of efficient and performance based fire safety measures. Effective and high efficiency protection is possible when design and selection of protection measures are based on risk assessment. This study aims at presenting a software method to make possible sele...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006